Stichworte: Internal check example